CVE-2019-7559

The CVE-2019-7559 entry concerns Boolector Btor2Tools (btor2parser.c). The vulnerability arises when opening a specially crafted input file, causing an out-of-bounds write in pusht_bfr. Connected sources confirm the affected component and the root cause (out-of-bounds write in pusht_bfr within Bo...